机译:在BCCSP上公理化弱仿真语义
机译:即使使用单例字母,完整且就绪的仿真语义也不是基于BCCSP的有限关系
机译:内涵式理论的语义与可判定方程理论的扩展
机译:BCCSP上的弱完全仿真语义的方程理论
机译:使用状态方程的非理想统计速率蒸发理论,以及Lattice Boltzmann模拟和管道中脉动流的解析解。
机译:石墨烯中的弱本地化:理论模拟和实验
机译:BCCSP上的弱完整仿真语义的方程式理论
机译:弱非线性波动方程一类初边值问题的渐近理论及其在架空输电线路振动模型中的应用